<html>
<head>
  <title>DNSSEC Validator</title>
  <script src="preferences.js" type="text/javascript"></script>
</head>
<script type="text/javascript">

if (typeof localStorage["dnsserveraddr"] === "undefined") localStorage["dnsserveraddr"] = "149.20.64.20";

// Saves options to localStorage.
function save_options() {
  localStorage["dnsserveraddr"] = document.getElementById("dnsserveraddr").value;
}

// Restores select box state to saved value from localStorage.
function restore_options() {
  document.getElementById("dnsserveraddr").value = localStorage["dnsserveraddr"];
}

</script>

<body onload="restore_options()">

  <div>
    DNS Server: <input type="text" id="dnsserveraddr" /><br />
    <button onclick="save_options()">Save</button>
  </div>

</body>
</html>

